- arithmetic verification
- Юридический термин: арифметическая проверка
Универсальный англо-русский словарь. Академик.ру. 2011.
arithmetic verification
Смотреть что такое "arithmetic verification" в других словарях:
arithmetic check — aritmetinė kontrolė statusas T sritis automatika atitikmenys: angl. arithmetic check; arithmetical check vok. arithmetische Kontrolle, f; arithmetische Prüfung, f; Rechenprüfung, f rus. арифметический контроль, m pranc. vérification arithmétique … Automatikos terminų žodynas
vérification arithmétique — aritmetinė kontrolė statusas T sritis automatika atitikmenys: angl. arithmetic check; arithmetical check vok. arithmetische Kontrolle, f; arithmetische Prüfung, f; Rechenprüfung, f rus. арифметический контроль, m pranc. vérification arithmétique … Automatikos terminų žodynas
Interval arithmetic — Interval arithmetic, also called interval mathematics , interval analysis , and interval computation , is a method in mathematics. It has been developed by mathematicians since the 1950s and 1960s as an approach to putting bounds on rounding… … Wikipedia
Modular arithmetic — In mathematics, modular arithmetic (sometimes called clock arithmetic) is a system of arithmetic for integers, where numbers wrap around after they reach a certain value the modulus. The Swiss mathematician Leonhard Euler pioneered the modern… … Wikipedia
Uclid — (pronounced IPA|/ˈjuklɪd/, the same as Euclid ) is a decision procedure for CLU logic and can be used as a tool for bounded model checking of infinite state systems.Decision Procedure and Verification ToolUCLID is a tool for verifying models of… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Java performance — Programs written in Java have had a reputation for being slower and requiring more memory than those written in natively compiled languages such as C or C++ (see e.g. [cite web url=http://www.jelovic.com/articles/why java is slow.htm title=Why… … Wikipedia
SystemVerilog — In the semiconductor and electronic design industry, SystemVerilog is a combined Hardware Description Language and Hardware Verification Language based on extensions to Verilog. SystemVerilog was created by the donation of the Superlog language… … Wikipedia
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy
D-37C — The D 37C is the computer component of the all inertial NS 17 Missile Guidance Set (MGS) for accurately navigating to its target thousands of miles away. The NS 17 MGS was used in the Minuteman II (LGM 30F) ICBM. The MGS, originally designed and… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
